Eternal Recurrence and the Categorical Imperative
نویسندگان
چکیده
منابع مشابه
Kantian Right and the Categorical Imperative: Response to Willaschek
In his 2009 article ‘Right and Coercion,’ Marcus Willaschek argues that the Categorical Imperative and the Universal Principle of Right are conceptually independent of one another because (1) the concept of right and the authorization to use coercion are analytically connected in Kant’s ‘Doctrine of Right’, but (2) the authorization to coerce cannot be derived from the Categorical Imperative. G...
متن کاملA Formalization of Kant's Second Formulation of the Categorical Imperative
We present a formalization and computational implementation of the second formulation of Kant’s categorical imperative. This ethical principle requires an agent to never treat someone merely as a means but always also as an end. Here we interpret this principle in terms of how persons are causally affected by actions. We introduce Kantian causal agency models in which moral patients, actions, g...
متن کاملTime and Personal Identity in Nietzsche’s Theory of Eternal Recurrence
Friedrich Nietzsche’s theory of eternal recurrence is an essential part of his mature philosophy, but the theory’s metaphysical commitments and practical implications are both obscure. In this essay I consider only the metaphysical elements of the theory, with the aim of determining whether it is possible that we live our lives infinitely many times, as the theory maintains. I argue that the po...
متن کاملA Categorical Model for Higher Order Imperative Programming
The order-enriched category of monotonic predicate transformers over posets is a model of the reenement calculus of higher order imperative programs and pre-post speciications. This category is shown to be equivalent to the category of spans over ideal relations, and ideal relations are shown to be spans over monotonic functions between posets, using a skew span construction because the standar...
متن کاملCategorical Model of Structural Operational Semantics for Imperative Language
Definition of programming languages consists of the formal definition of syntax and semantics. One of the most popular semantic methods used in various stages of software engineering is structural operational semantics. It describes program behavior in the form of state changes after execution of elementary steps of program. This feature makes structural operational semantics useful for impleme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Southern Journal of Philosophy
سال: 2007
ISSN: 0038-4283,2041-6962
DOI: 10.1111/j.2041-6962.2007.tb00044.x